﻿* 
* My assumptions:
< A father is probably a person.
< A father is probably a parent.
< A parent is probably a person.
< 
* 
* My conclusions:
< Every parent is a woman or a man.
* 
* My assumptions:
< A mother is probably a person.
< A mother is probably a parent.
< 
* 
* My conclusions:
< John is a man.
* 
* My assumptions:
< John is probably a parent.
< John is probably a person.
< John is probably not a mother.
< John is probably not a woman.
< 
* 
* My conclusions:
< John is a man. Because:
<	- John is a father.
<	- Every father is a man.
* 
* My assumptions:
< John is probably a parent. Because:
<	- Every parent is a father or a mother.
<	- John is a father.
* 	and:
<	- Every parent is a woman or a man.
<	- John is a man.
* 	and:
<	- John is a father.
<	- A father is probably a parent.
< John is probably a person. Because:
<	- John is probably a parent.
<	- A parent is probably a person.
* 	and:
<	- Every person is a man or a woman.
<	- John is a man.
* 	and:
<	- John is a father.
<	- A father is probably a person.
< John is probably not a mother. Because:
<	- John is probably a parent.
<	- Every parent is a father or a mother.
<	- John is a father.
< John is probably not a woman. Because:
<	- John is probably a parent.
<	- Every parent is a woman or a man.
<	- John is a man.
* 	and:
<	- John is probably a person.
<	- Every person is a man or a woman.
<	- John is a man.
< 
! 
! This sentence is not accepted, because it is in conflict with:
< John is a father.
< John is probably not a mother.
< John is a man.
< John is probably not a woman.
< 
